/* currently no opera mobile specific hacks */

